Functions and mappings - PDFSEARCH.IO - Document Search Engine

Functions and mappings
Results: 2485

#	Item
881	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
882	Agglomerative Bregman Clustering Matus Telgarsky [removed] Sanjoy Dasgupta [removed] Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2012-06-11 03:59:18 Functions and mappings Bregman divergence Convex function Distribution Surjective function Mathematical analysis Mathematics Convex analysis
883	Loom: Basic Concepts Thomas A. Russ U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:14:07 Abox Tbox Function Ontology Mathematics Functions and mappings
884	Natural Hierarchical Refinement for Finite Element Methods Petr Krysl1,∗ , Eitan Grinspun2 , Peter Schr¨ oder2 1 University of California, San Diego, Structural Engineering, Mail code 0085, Add to Reading List Source URL: www.multires.caltech.edu Language: English - Date: 2006-06-13 11:28:14 Linear algebra Function Basis Integral Matrix Mathematics Algebra Functions and mappings
885	An Implementation of Interior-Point Methods Based on Kernel Functions for Linear Optimization M. El Ghami† and T. Steihaug† † Department of Informatics, University of Bergen Add to Reading List Source URL: www.nik.no Language: English - Date: 2009-10-12 11:32:08 Mathematics Functions and mappings Function
886	ACER Mathematics Assessment for Test date: 24 November 2010 International Add to Reading List Source URL: www.aceruk.net Language: English - Date: 2014-05-20 21:02:56 Functions and mappings Polynomial Derivative Calculus Gradient Mathematical analysis Mathematics Differential calculus
887	Worker/wrapper for a Better Life Extended Abstract Brad Torrence Mike Stees Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal methods Functional languages Functions and mappings Theoretical computer science Function Haskell Hindley–Milner Fold Combinatory logic Software engineering Computing Mathematics
888	Learning Scoring Functions with Order-Preserving Losses and Standardized Supervision David Buffoni [removed] Cl´ Add to Reading List Source URL: www.icml-2011.org Language: English - Date: 2011-06-01 14:49:35 Permutation Μ operator Mathematics Functions and mappings Function
889	Stat 302: Homework 2 Report the answers to the following tasks as a pdf file, obtained via EX and Texmaker. Turn in your printed pdf and its source .tex file. LAT Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2013-01-11 16:58:58 Function Software Mathematics Functions and mappings R
890	Identity, State and Values Clojure’s approach to concurrency Rich Hickey Agenda Add to Reading List Source URL: jaoo.dk Language: English - Date: 2009-10-06 11:51:52 Data types Type theory Function Variable Parameter Mathematics Software engineering Functions and mappings

UPDATE